Original patch by Jan Beulich.
Signed-off-by: Keir Fraser <keir@xensource.com>
#include <xen/sched.h>
#include <public/xen.h>
#include <asm/shared.h>
-#include <asm/hvm/hvm.h>
+#include <asm/hvm/support.h>
static atomic_t waiting_for_crash_ipi;
static unsigned int crashing_cpu;
hvm_enabled = 1;
}
+void hvm_disable(void)
+{
+ if ( hvm_enabled )
+ hvm_funcs.disable();
+}
+
void hvm_stts(struct vcpu *v)
{
/* FPU state already dirty? Then no need to setup_fpu() lazily. */
#include <asm/smpboot.h>
#include <asm/hardirq.h>
#include <asm/ipi.h>
-#include <asm/hvm/hvm.h>
+#include <asm/hvm/support.h>
#include <mach_apic.h>
/*
extern struct hvm_function_table hvm_funcs;
-/*
- * For convenience, we use short hands.
- */
-static inline void
-hvm_disable(void)
-{
- hvm_funcs.disable();
-}
-
int hvm_domain_initialise(struct domain *d);
void hvm_domain_destroy(struct domain *d);
extern int hvm_enabled;
void hvm_enable(struct hvm_function_table *);
+void hvm_disable(void);
int hvm_copy_to_guest_phys(paddr_t paddr, void *buf, int size);
int hvm_copy_from_guest_phys(void *buf, paddr_t paddr, int size);